Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
backward chaining
An algorithm for proving a goal by recursively
breaking it down into sub-goals and trying to prove these
until facts are reached. Facts are goals with no sub-goals
which are therefore always true. Backward training is the
program execution mechanism used by most logic programming
language like Prolog.
Opposite: forward chaining.
(2004-01-26)